Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Computing
• Computer graphics
• 3D rendering
• Video game development
• Computer programming
• Graphics hardware
• Graphics libraries
• Texture atlas
• Graphics processing unit
• Texture mapping
• Optimizing compiler
• Rendering

Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University

Source URL: tlt2017.di.unito.it

• Theoretical computer science
• Logic in computer science
• Programming language semantics
• Operational semantics
• Semantics
• International Colloquium on Automata
• Languages and Programming
• Nominal
• Process calculi

Is Interaction Necessary for Distributed Private Learning? Adam Smith∗ , Abhradeep Thakurta† , Jalaj Upadhyay∗ of Electrical Engineering and Computer Science, Pennsylvania State University, Email: {asmith, jalaj}@p

Source URL: www.ieee-security.org

Giving to COS Please complete this form, and send it along with your contribution to: Center for Open Science, 210 Ridge McIntire Road, Suite, 500, Charlottesville VA, Yes, I want to join the Center for Open S

Source URL: cos.io

• Email
• Charlottesville
• Virginia
• The Gift
• Center for Open Science
• Human behavior
• Geography of the United States
• Publishing

Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr

Source URL: users.cecs.anu.edu.au

• Mathematics
• Heuristics
• Edsger W. Dijkstra
• Automated planning and scheduling
• Mathematical optimization
• Shortest path problem
• Admissible heuristic
• Search algorithm
• Methodology
• Algorithm
• Cognition

Leveraging Crowdsourcing for the Thematic Annotation of the Qur’an Amna Basharat, I. Budak Arpinar, Khaled Rasheed Dept. of Computer Science, University of Georgia, Athens, GA, 30605 USA amnabash,budak,

Source URL: gdac.uqam.ca

• Information science
• Knowledge representation
• Knowledge engineering
• Artificial intelligence
• Knowledge
• Computational linguistics
• Natural language processing
• Crowdsourcing
• Ontology
• Semantic Web
• Annotation
• General Architecture for Text Engineering

Zero-Knowledge Protocols for Search Problems Ben Berger Zvika Brakerski Weizmann Institute of Science, Israel∗ Abstract

Source URL: eprint.iacr.org

• Complexity classes
• Cryptography
• Computational complexity theory
• Computing
• Interactive proof system
• Zero-knowledge proof
• NP
• IP
• Soundness
• Proof of secure erasure
• Certificate
• Zero knowledge

Learning Outcomes for Master of Science (MSc) in Innovation Management National Qualification Framework for Iceland MSc in Innovation Management at Reykjavik University MSc in Innovation Management is a 90 ECTS-credit ma

Source URL: en.ru.is

• Innovation
• Innovation management
• Academic degree
• Bachelor's degree
• Master's degree
• Human behavior
• Education
• Structure
• European Qualifications Framework
• Min Basadur

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Logic
• Logic programming
• Declarative programming
• Automated reasoning
• Programming paradigms
• Automated theorem proving
• Answer set programming
• Reasoning system
• Stable model semantics
• Prolog
• Inference

Under consideration for publication in Math. Struct. in Comp. Science Complexity of Translations from Resolution to Sequent Calculus (Presentation-Only - Draft) Giselle Reis1 and Bruno Woltzenlogel Paleo2

Source URL: pxtp.github.io

• Proof theory
• Mathematical logic
• Logic
• Mathematics
• Sequent
• Natural deduction
• Cut-elimination theorem
• Admissible rule
• Proof complexity
• Propositional calculus
• Structural rule
• Cut rule